Temporal ER Modelling with Description Logics: A Preliminary Report
نویسندگان
چکیده
Recent efforts in the Conceptual Modelling community have been devoted to properly capturing time-varying information. Various temporally enhanced Entity-Relationship (ER) models have been proposed that are intended to model the temporal aspects of database conceptual schemas. This work gives a logical formalisation of the various properties that characterise and extend different temporal ER models which are found in literature. The formalisation we propose is based on Description Logics (DL), which have been proved useful for a logical reconstruction of the most popular conceptual data modelling formalisms. The proposed DL has the ability to express both enhanced temporal ER schemas and integrity constraints in the form of complex inclusion de-
منابع مشابه
Reasoning with enhanced Temporal Entity-Relationship Models (Preliminary Report)
Recent efforts in the Conceptual Modelling community have been devoted to properly capture time-varying information. Various temporally enhanced Entity-Relationship (ER) models have been proposed that are intended to model the temporal aspects of database conceptual schemas. This preliminary work gives a logical formalisation of the various properties that characterise and extend different temp...
متن کاملTemporal E-R Modelling with description logics
Recent e orts in the Conceptual Modelling community have been devoted to properly capturing time-varying information. Various temporally enhanced Entity-Relationship (ER) models have been proposed that are intended to model the temporal aspects of database conceptual schemas. This work gives a logical formalisation of the various properties that characterise and extend di erent temporal ER mode...
متن کاملTemporal Conceptual Modelling with DL-Lite
Conceptual modelling formalisms such as the Entity-Relationship model (ER) and Unified Modelling Language (UML) have become a de facto standard in database design by providing visual means to describe application domains in a declarative and reusable way. On the other hand, both ER and UML turned out to be closely connected with description logics that are underpinned by formal semantics and th...
متن کاملReasoning with Enhanced Temporal Entity-Relationship Models
Recent efforts in the Conceptual Modelling community have been devoted to properly capturing time-varying information, and several proposals of temporally enhanced Entity-Relationship (ER) exist. This work gives a logical formalisation of the various properties that characterise and extend different temporal ER models which are found in literature. The formalisation we propose is based on Descr...
متن کاملTowards Activity Recognition Using Probabilistic Description Logics
A major challenge of pervasive context-aware computing and intelligent environments resides in the acquisition and modelling of rich and heterogeneous context data. Decisive aspects of this information are the ongoing human activities at different degrees of granularity. We conjecture that ontology-based activity models are key to support interoperable multilevel activity representation and rec...
متن کامل